TASTE — Using Model-Driven Code Generation for Safety-Critical Targets
نویسندگان
چکیده
منابع مشابه
Using Automatic Code Generation for Safety-Critical System Development
To minimize the dangers of such systems, special development standards and processes have been designed for use in safety-critical applications. The established standard in automotive electronics is IEC61508. This is a generic safety standard that requires the defi nition of more detailed standards for specifi c industries and projects. Software engineering studies have shown that the RTCA DO-1...
متن کاملCode Generation for Safety-Critical Systems
It is natural to rely on experiences from the aviation industry when developing safety-critical systems for automotive applications. In the aviation industry for several decades programmable systems have been used for flight control, aircraft engine control, landing gear control etc.. The safety and reliability requirements of these systems are comparable with steer-by-wire or brake-by-wire sys...
متن کاملAn Approach to Automatic Code Generation for Safety-Critical Systems
Automated translation, or code generation, of a formal requirements model to production code can alleviate many of the problems associated with design and implementation. In this report we outline the requirements of such code generation to obtain a high level of conndence in the correctness of the translation process. We then describe a translator for a state-based modeling language called RSM...
متن کاملAutomatic Code Generation for Safety-Critical Systems dSPACE
The vehicles of the future will contain more and more safety-critical systems. Because of frequent changes, automatic code generators are increasingly being used in software development. The current safety standard for vehicle development, IEC61508, is designed for manual software development and provides very little support for selecting and using code generators for software in safety-critica...
متن کاملAutomatic Ada Code Generation Using a Model-Driven Engineering Approach
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-machines will be used to demonstrate the benefits of this approach. After defining a modelling language (meta-model) for statemachines, a graphical tool will be presented which is aimed at easing the description and va...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.272.2